منابع مشابه
Semantics of Termination
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while and rules for termination of function calls.
متن کاملContinuous Semantics for Termination Proofs
We prove a general strong normalization theorem for higher type rewrite systems based on Tait’s strong computability predicates and a strictly continuous domain-theoretic semantics. The theorem applies to extensions of Gödel’s system T , but also to various forms of bar recursion for which strong normalization was hitherto unknown.
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملTermination of Pregnancy with Prostaglandin
تاثیر تزریق داخل رحمی apGF2 و تزریق داخل وریدی اکسی توسین به عنوان دو روش درمانی در ختم حاملگی، در زنانی که در سه ماهه دوم بارداری دچار پارگی کیسه آب بودند، با یک دیگر مقایسه شده اند.
متن کاملSemantics of haq in the Glorious Quran
Meaning plays a very important role at all levels of linguistic analysis and in linguistics. We can say that the word itself and out of the chain of speech doesn’t show the true meaning. It should be in relation with other signs within the language that its meaning be relived. Quran, the precious word of Allah, contains words that take a variety of meanings in the syntactic and topical con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CLEI Electronic Journal
سال: 2007
ISSN: 0717-5000
DOI: 10.19153/cleiej.10.1.1